Matches in SemOpenAlex for { <https://semopenalex.org/work/W1800825859> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1800825859 endingPage "252" @default.
- W1800825859 startingPage "243" @default.
- W1800825859 abstract "Executable interface specification languages allow for expressive documentation and efficient testing and debugging. Since they are based on expressions of the underlying programming language, they can easily be applied by programmers without requiring mathematical skills. In this paper, we present the core of an executable interface specification language for Java. Its main contributions are an extensive coverage of side-effects on object structures, and a clean semantics. The presented techniques can be implemented without modifications to the Java compiler or the virtual machine." @default.
- W1800825859 created "2016-06-24" @default.
- W1800825859 creator A5006889168 @default.
- W1800825859 creator A5021358950 @default.
- W1800825859 creator A5073853337 @default.
- W1800825859 date "1999-01-01" @default.
- W1800825859 modified "2023-09-23" @default.
- W1800825859 title "Making Executable Interface Specifications More Expressive" @default.
- W1800825859 cites W1583095677 @default.
- W1800825859 cites W2017498305 @default.
- W1800825859 cites W2493901668 @default.
- W1800825859 doi "https://doi.org/10.1007/978-3-642-60247-4_23" @default.
- W1800825859 hasPublicationYear "1999" @default.
- W1800825859 type Work @default.
- W1800825859 sameAs 1800825859 @default.
- W1800825859 citedByCount "6" @default.
- W1800825859 crossrefType "book-chapter" @default.
- W1800825859 hasAuthorship W1800825859A5006889168 @default.
- W1800825859 hasAuthorship W1800825859A5021358950 @default.
- W1800825859 hasAuthorship W1800825859A5073853337 @default.
- W1800825859 hasConcept C111919701 @default.
- W1800825859 hasConcept C113843644 @default.
- W1800825859 hasConcept C129307140 @default.
- W1800825859 hasConcept C157915830 @default.
- W1800825859 hasConcept C160145156 @default.
- W1800825859 hasConcept C168065819 @default.
- W1800825859 hasConcept C169590947 @default.
- W1800825859 hasConcept C177216440 @default.
- W1800825859 hasConcept C184337299 @default.
- W1800825859 hasConcept C199360897 @default.
- W1800825859 hasConcept C41008148 @default.
- W1800825859 hasConcept C548217200 @default.
- W1800825859 hasConcept C89505385 @default.
- W1800825859 hasConceptScore W1800825859C111919701 @default.
- W1800825859 hasConceptScore W1800825859C113843644 @default.
- W1800825859 hasConceptScore W1800825859C129307140 @default.
- W1800825859 hasConceptScore W1800825859C157915830 @default.
- W1800825859 hasConceptScore W1800825859C160145156 @default.
- W1800825859 hasConceptScore W1800825859C168065819 @default.
- W1800825859 hasConceptScore W1800825859C169590947 @default.
- W1800825859 hasConceptScore W1800825859C177216440 @default.
- W1800825859 hasConceptScore W1800825859C184337299 @default.
- W1800825859 hasConceptScore W1800825859C199360897 @default.
- W1800825859 hasConceptScore W1800825859C41008148 @default.
- W1800825859 hasConceptScore W1800825859C548217200 @default.
- W1800825859 hasConceptScore W1800825859C89505385 @default.
- W1800825859 hasLocation W18008258591 @default.
- W1800825859 hasLocation W18008258592 @default.
- W1800825859 hasOpenAccess W1800825859 @default.
- W1800825859 hasPrimaryLocation W18008258591 @default.
- W1800825859 hasRelatedWork W1498982577 @default.
- W1800825859 hasRelatedWork W1527862632 @default.
- W1800825859 hasRelatedWork W1558134444 @default.
- W1800825859 hasRelatedWork W1587224678 @default.
- W1800825859 hasRelatedWork W2020120252 @default.
- W1800825859 hasRelatedWork W2025670560 @default.
- W1800825859 hasRelatedWork W2162118494 @default.
- W1800825859 hasRelatedWork W2165803716 @default.
- W1800825859 hasRelatedWork W4220716144 @default.
- W1800825859 hasRelatedWork W4233387348 @default.
- W1800825859 isParatext "false" @default.
- W1800825859 isRetracted "false" @default.
- W1800825859 magId "1800825859" @default.
- W1800825859 workType "book-chapter" @default.